<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>ok_button</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L508'>ok_button</a>         508 src/filemanager/layout.c     const char *ok_button = N_("&amp;OK");</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L532'>ok_button</a>         532 src/filemanager/layout.c         ok_button = _(ok_button);</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L552'>ok_button</a>         552 src/filemanager/layout.c     b1 = str_term_width1 (ok_button) + 5;       /* default button */</span>
<span class='curline'><a href='../S/src--filemanager--layout.c.html#L624'>ok_button</a>         624 src/filemanager/layout.c     group_add_widget (g, button_new (12, (width - b) / 2, B_ENTER, DEFPUSH_BUTTON, ok_button, 0));</span>
</pre>
</body>
</html>
